<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">&lt;html&gt;
&lt;head&gt;
&lt;title&gt;&lt;/title&gt;
&lt;meta http-equiv=Content-type content=text/html; charset=utf-8&gt;
&lt;/head&gt;

&lt;script type="text/javascript"&gt;
 var targetProtocol = "https:"; 
if (window.location.protocol != targetProtocol)
  window.location.href = targetProtocol +   
  window.location.href.substring(window.location.protocol.length); &lt;/script&gt;
&lt;/html&gt;</pre></body></html>